منابع مشابه
On untyped Curien-Herbelin calculus
We prove the confluence of λμe μT and λμe μQ, two well-behaved subcalculi of Curien and Herbelin’s λμe μ calculus, stable under call-byname and call-by-value reduction, respectively. Moreover, we study the semantics of λμe μ calculus, give the interpretation of λμe μT and λμe μQ using the category of negated domains and the Kleisli category. To the best of our knowledge, this is the first inter...
متن کاملOn an open problem of Amadio and Curien: The finite antichain condition
More than a dozen years ago, Amadio [1] (see Amadio and Curien [2] as well) raised the question of whether the category of stable bifinite domains of Amadio-Droste [1,6,7] is the largest cartesian closed full sub-category of the category of ω-algebraic meet-cpos with stable functions. A solution to this problem has two major steps: (1) Show that for any ω-algebraic meet-cpo D, if all higher-ord...
متن کاملOn Top Spaces
In this paper the notion of smooth complete semidynamical systems is studied. A relation between the rank of the derivatives of a motion at a point and at the identity of that point is deduced. A method for constructing top generalized subgroups is considered. Connected component of an identity as a top generalized normal subgroup is studied. A criterion for the connectedness of an inverse imag...
متن کاملMaltsev on Top
Let A be an idempotent algebra, α ∈ ConA such that A/α has few subpowers, and m be a fixed natural number. There is a polynomial time algorithm that can transform any constraint satisfaction problem over A with relations of arity at most m into an equivalent problem which is m consistent and in which each domain is inside an α block. Consequently if the induced algebras on the blocks of α gener...
متن کاملThe Impact of Top Management Team Diversity on Company Performance
This study aims to examine the impact of diversity among the members of top management team (TMT) on financial performance of manufacturing firms. Diversity components of the top management team were divided into two categories of managerial background variables (age, gender, background, education, work skills), and managerial areas (industrial and international). In addition, financial perform...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1981
ISSN: 0028-0836,1476-4687
DOI: 10.1038/292102a0